University of Birmingham - PDFSEARCH.IO - Document Search Engine

University of Birmingham
Results: 2922

#	Item
41	Introduction to higher-order computation Nordic Logic School, Stockholm, 2017 Mart´ın H¨otzel Escard´o Theory Group, School of Computer Science University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2017-08-10 12:41:25
42	Verification of Integrity and Secrecy Properties of a Biometric Authentication Protocol A. Salaiwarakul and M.D.Ryan School of Computer Science, University of Birmingham, UK {A.Salaiwarakul, M.D.Ryan}@cs.bham.ac.uk Add to Reading List Source URL: www.cs.bham.ac.uk. Language: English - Date: 2009-02-25 10:33:23
43	Performance Modelling and Verification of Cloud-based Auto-Scaling Policies Alexandros Evangelidis, David Parker, Rami Bahsoon School of Computer Science University of Birmingham Birmingham, United Kingdom Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2017-02-13 18:46:48
44	“Gold” Open Access Publishing Research Communications Strategy Project Jill Russell Digital Assets Programme Manager University of Birmingham Add to Reading List Source URL: www.rsp.ac.uk Language: English - Date: 2012-11-01 08:30:36
45	Privacy-supporting cloud computing by in-browser key translation Myrto Arapinis Sergiu Bursuc Mark Ryan School of Computer Science, University of Birmingham Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-12-10 12:32:46
46	Managing Attendance at Work: An Evidence-Based Review Dr Anne Spurgeon Institute of Occupational Health The University of Birmingham Add to Reading List Source URL: www.bohrf.org.uk Language: English - Date: 2016-10-02 07:41:06
47	Escrowed Data and the Digital Envelope King Ables and Mark D. Ryan University of Birmingham, UK 1 1.1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-08-12 11:16:19
48	Synthesising Verified Access Control Systems in XACML Nan Zhang School of Computer Science University of Birmingham Birmingham, UK, B15 2TT Add to Reading List Source URL: www.cs.bham.ac.uk. Language: English - Date: 2009-02-25 10:33:24
49	DTKI: a new formalized PKI with verifiable trusted parties Jiangshan Yu1 , Vincent Cheval2 and Mark Ryan1 1 School of Computer Science, University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2016-07-08 05:44:34
50	Caveat Coercitor Mark Ryan and Peter Y. A. Ryan University of Birmingham University of Luxembourg Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-11-01 10:04:57